testcase TC_BEF_FE_BV_12() runs on EutComp system TestAdapter {
  var ChargeReport v_chargeReport : = null;
  f_Charging_Preambule ( );
  f_SendContextData ( m_ContextData_default_accountStatus_transactionCounter_mileage_requested );
  f_userActions ( cmdSet , distance_THR_UNIT );
  f_userActions ( cmdSet , contract1 );
  t_ac . start;
  alt {
    [ ] pco . receive ( mw_chargeReport_tableC1_accountStatus_transactionCounter_mileage ( ok ) ) -> value v_chargeReport {
      t_ac . stop;
      pco . send ( m_chargeReportResponse_transactionCounter_accountUpdate_newDistanceLimit ( v_chargeReport . transactionCounter + 1 , 0 ) );
      t_ac . start;
      alt {
        [ ] pco . receive ( mw_chargeReport_tableC1_accountStatus_transactionCounter_mileage ( empty ) ) -> value v_chargeReport {
          t_ac . stop;
          setverdict ( pass );
          pco . send ( m_chargeReportResponse_transactionCounter ( v_chargeReport . transactionCounter + 1 ) );
        }
      }
    }
  }
  f_Charging_Postambule ( );
}

Description

TC_BEF_FE_BV_12: Verify that DUT sets Account Status to ‘EMPTY’ for distance based on-board accounts

Remarks

[TS 17575-1], Clause 6.6.1 accountStatus